Compactness as a Base Axiom
نویسندگان
چکیده
منابع مشابه
The near SR-compactness axiom in L-topological spaces
A kind of new fuzzy compactness, called near SR-compactness, is de4ned for an arbitrary L-subset and for L a complete DeMorgan algebra. This kind of fuzzy compactness is between Lowen’s strong fuzzy compactness and the second author’s SR-compactness. Characterizations and examples of near SR-compact L-subsets are given, and its topological properties are systematically investigated. c © 2003 El...
متن کاملDefinitions of Compactness and The Axiom of Choice
We study the relationships between definitions of compactness in topological spaces and the roll the axiom of choice plays in these relationships.
متن کاملThe Bounded Axiom A Forcing Axiom
We introduce the Bounded Axiom A Forcing Axiom(BAAFA). It turns out that it is equiconsistent with the existence of a regular Σ2-correct cardinal and hence also equiconsistent with BPFA. Furthermore we show that, if consistent, it does not imply the Bounded Proper Forcing Axiom(BPFA).
متن کاملA Survey of Axiom Selection as a Machine Learning Problem
Automatic theorem provers struggle to discharge proof obligations of interactive theorem provers. This is partly due to the large number of background facts that are passed to the automatic provers as axioms. Axiom selection algorithms predict the relevance of facts, thereby helping to reduce the search space of automatic provers. This paper presents an introduction to axiom selection as a mach...
متن کاملAxiom Schemata as Metalevel Axioms: Model Theory
Logicians frequently use axiom schemata to encode (potentially infinite) sets of sentences with particular syntactic form. In this paper we examine a first-order language in which it is possible to write expressions that both describe sentences and assert the truth of the sentences so described. The effect of adding such expressions to a knowledge base is the same as directly including the set ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indagationes Mathematicae (Proceedings)
سال: 1967
ISSN: 1385-7258
DOI: 10.1016/s1385-7258(67)50014-8